41. Term rewriting and applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
المؤلف: Jurgen Giesl )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
3467
42. Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
المؤلف: Frank Pfenning )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
4098
43. Term rewriting and applications: 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
267
.
I555
2006
